Machine generated contents note: Dialectic of Praxis -- I. Philosophy of Subjectivity and -- Historical Materialism 7 -- A. What is the "Toposical Tachiba"? 7 -- B. The Present and Past of Umemoto's Theory of Subjectivity 17 -- C. The Basis and Structure of Degeneration 36 -- II. Confused 'Dialectic of the Subject of Cognition' 48 -- A. Destruction of the Logic of Origo 48 -- 1. Summary of Umemoto's Epistemology 49 -- 2. Umemoto's Defect in Epistemology 56 -- 3. (...) Reversed Hegelianism 60 -- B. Objective Cognition and the Logic of Self-Awareness 68 -- 1. Ontology and Epistemology 68 -- 2. Negation of "Two Circular Structures" 76 -- 3. Objective Cognition and Value Consciousness 82 -- C. Evaporation of Praxiology 89 -- 1. Alienation and Self-Awareness 89 -- 2. Objectivization of Praxis 96 -- 3. Strained Interpretation of Uno's Theory 99 -- 4. Political Economy, Materialist Outlook of History, -- and Praxiology 107 -- 5. A Domain Proper to the Theory of -- Revolutionizing Praxis 116 -- III. Defects in Criticism of Uno's Economics 131 -- A. Problem Awareness 132 -- B. Fall into a "View that the Principles are Lost -- in the Historical Process" 137 -- C. Historicistic Remedy for the Theory of the -- Circulation Form 155 -- 1. Beautification of a Distorting Tendency to -- Emphasize the Circulation Form 156 -- 2. Complementation of the 'Theory of Form -- without the Logic of Substance' 169 -- 3. On the Trans-Historicization of the -- 'Dual Character of Labour' 178 -- IV. Political Economy and -- Materialist Outlook of History 195 -- A. 'Anatomy of Bourgeois Society' and -- 'Anatomy of History' 195 -- B. Consolidation with Reversed Hegelianism 202 -- C. 'Logic of Circularity' and 'Logic of History' 218 -- V, Political Economy and the -- Logic of Revolutionization 231 -- A. Defects in the Understanding of Political Economy 232 -- B. Distortion of 'Labour-Power Commodity' 255 -- 1. On the Dialectic: Commodity Market and the -- Production Process 255 -- 2. Private Property and Capitalist Property 261 -- 3. Negation of the Negation: Sublation of the -- Commoditization of Labour-Power 268 -- C. Capitalist Thingivation and the -- Logic of its Revolutionization 282 -- Afterword 301 -- Supplementary Notes to the English Edition 303 -- Index 309. (shrink)

Dans la double conception du sujet que précise Tokieda Motoki dans sa théorie du processus langagier : sujet subordonné au prédicat et sujet d’action langagière volontaire, conception fondée sur une théorie linguistique inspirée principalement d’études grammaticales de la langue japonaise et qui s’est donc totalement émancipée du paradigme de la grammaire des langues européennes, on peut retrouver, de manière tout à fait paradoxale et frappante, le sens originaire du sujet, à savoir celui de son origine latine « subjectum » qui (...) est d’ailleurs la traduction du mot grec « ὑποκείμενον », à double titre : celui qui est assujetti ou soumis à une instance supérieure ou plus fondamentale et celui qui est susceptible de donner lieu ou occasion aux accidents, aux faits contingents. (shrink)

We define a theory of two-sort bounded arithmetic whose provably total functions are exactly those in ${\mathcal{F}_{LOGCFL}}$ by way of a generalized quantifier that expresses computations of SAC 1 circuits. The proof depends on Kolokolova’s conditions for the connection between the provable capture in two-sort theories and descriptive complexity.

We define a fragment of Primitive Recursive Arithmetic by replacing the defining axioms for primitive recursive functions by those for functions in some specific complexity class. In this note we consider such theory for AC0. We present a model-theoretical property of this theory, by means of which we are able to characterize its provably total functions. Next we consider the problem of how strong the induction scheme can be in this theory.

A nucleus is an operation on the collection of truth values which, like double negation in intuitionistic logic, is monotone, inflationary, idempotent and commutes with conjunction. Any nucleus determines a proof-theoretic translation of intuitionistic logic into itself by applying it to atomic formulas, disjunctions and existentially quantified subformulas, as in the Gödel–Gentzen negative translation. Here we show that there exists a similar translation of intuitionistic logic into itself which is more in the spirit of Kuroda’s negative translation. The key (...) is to apply the nucleus not only to the entire formula and universally quantified subformulas, but to conclusions of implications as well. (shrink)

Kolmogorov established the principle of the double negation translation by which to embed Classical Predicate Logic |${\operatorname {CQC}}$| into Intuitionistic Predicate Logic |${\operatorname {IQC}}$|⁠. We show that the obvious generalizations to the Basic Predicate Logic of [3] and to |${\operatorname {BQC}}$| of [12], a proper subsystem of |${\operatorname {IQC}}$|⁠, go through as well. The obvious generalizations of Kuroda’s embedding are shown to be equivalent to the Kolmogorov variant. In our proofs novel nontrivial techniques are needed to overcome the absence (...) of full modus ponens in Basic Predicate Logic. In [3] we argued that |${\operatorname {IQC}}$| is not the logic of constructive mathematics. Our doubts were far from new. New was that we put forward an alternative, |${\operatorname {BQC}}$|⁠. One concern is that |${\operatorname {BQC}}$| is too weak for serious mathematics, or even trivial. This paper is one step to alleviate such concerns. (shrink)

Inquiry into the Origin of Humanity: An Annotated Translation of Tsung-mi's Yuan-jen lun with a Modern Commentary. Peter N. Gregory. A Kuroda Institute Book. University of Hawai'i Press, Honolulu 1995, xv, 264 pp. Cloth $46.00, pbk $17.95.

Along the same line as that in Ono (Ann Pure Appl Logic 161:246–250, 2009), a proof-theoretic approach to Glivenko theorems is developed here for substructural predicate logics relative not only to classical predicate logic but also to arbitrary involutive substructural predicate logics over intuitionistic linear predicate logic without exponentials QFLe. It is shown that there exists the weakest logic over QFLe among substructural predicate logics for which the Glivenko theorem holds. Negative translations of substructural predicate logics are studied by using (...) the same approach. First, a negative translation, called extended Kuroda translation is introduced. Then a translation result of an arbitrary involutive substructural predicate logics over QFLe is shown, and the existence of the weakest logic is proved among such logics for which the extended Kuroda translation works. They are obtained by a slight modification of the proof of the Glivenko theorem. Relations of our extended Kuroda translation with other standard negative translations will be discussed. Lastly, algebraic aspects of these results will be mentioned briefly. In this way, a clear and comprehensive understanding of Glivenko theorems and negative translations will be obtained from a substructural viewpoint. (shrink)

A cut-free Gentzen sequent calculus for Ewald’s intuitionistic tense logic \ is established. By the proof-theoretic method, we prove that, for every set of strictly positive implications S, the classical tense logic \ is embedded into its intuitionistic analogue \ via Kolmogorov, Gödel–Genzten and Kuroda translations respectively. A sufficient and necessary condition for Glivenko type theorem in tense logics is established.

This paper examines the question of how so-called indeterminate phrases in Japanese (Kuroda 1965) associate with relevant particles higher in the structure. In the universal construction in Japanese, the restrictor (provided by an indeterminate phrase) sometimes appears to be separate from the universal particle mo. It is proposed that quantification at a distance is only apparent, and that the restriction is in fact provided locally by the sister constituent of mo as a whole. The proposal leads us to a (...) straightforward uniform picture of the syntax-semantics mapping of the universal construction and wh-questions, building upon Hamblin’s (1973) semantics for wh-phrases as sets of alternatives. It allows for a switch of perspective on a long-standing puzzle regarding locality effects in the indeterminate–particle association by deriving the locality pattern from the way indeterminate phrases are interpreted and associated with particles, without any stipulations. (shrink)

This special issue explores the significance of collectivism in modern and contemporary Japanese art. Japanese artists banded together throughout the twentieth century to work in collectives, reflecting and influencing each evolution of their culture. Illuminating the interplay between individual and community throughout Japan’s tumultuous century, the contributors to this issue examine both the practical internal operations of the collectives and the art that they produced. One contributor studies the art societies of prewar imperial Japan, whose juried art salons defined a (...) new _nihonga_ painting tradition. While recent scholarly work on art produced during World War II has tended to neglect the collectivist tradition, this issue covers wartime groups like the Art Unit for Promoting the Munitions Industry and the important questions they pose about the relationship between artists and the state. Art collectives in post-occupation Japan gained prominence working in the experimental vanguard of the global art scene in painting, sculpture, design, and intermedia projects. Adding a crucial dimension to the study of Japanese art and modernism, this issue explores how these groups attempted to accommodate the creative paradox of individualism within collectivism. _Contributors: Maki Kaneko, Kuroda Raiji, John Szostak, Miwako Tezuka, Ming Tiampo, Reiko Tomii, Alicia Volk, Midori Yoshimoto Reiko Tomii_ is an independent art historian and curator in New York. She is coauthor of _Xu Bing_. _Midori Yoshimoto_ is Associate Professor of Art History and curator of two galleries at New Jersey City University. She is the author of _Into Performance: Japanese Women Artists in New York_. (shrink)

The completeness w.r.t. Kripke frames with equality (or, equivalently, w.r.t. Kripke sheaves, [ 8 ] or [4, Sect. 3.6]) is established for three superintuitionistic predicate logics: ( Q - H + D *), ( Q - H + D *&K), ( Q - H + D *& K & J ). Here Q - H is intuitionistic predicate logic, J is the principle of the weak excluded middle, K is Kuroda’s axiom, and D * (cf. [ 12 ]) is (...) a weakened version of the well-known constant domains principle D . Namely, the formula D states that any individual has ancestors in earlier worlds, and D * states that any individual has $${\neg\neg}$$ -ancestors (i.e., ancestors up to $${\neg\neg}$$ -equality) in earlier worlds. In particular, the logic ( Q - H + D *& K & J ) is the Kripke sheaf completion of ( Q - H + E & K & J ), where E is a version of Markov’s principle (cf. [ 12 ]). On the other hand, we show that the logic ( Q - H + D *& J ) is incomplete w.r.t. Kripke sheaves. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:The Origins of Buddhist Monastic Codes in China: An Annotated Translation and Study of the Chanyuan QingguiMario PoceskiThe Origins of Buddhist Monastic Codes in China: An Annotated Translation and Study of the Chanyuan Qinggui. By Yifa. Kuroda Institute, Classics in East Asian Buddhism. Honolulu: University of Hawai'i Press, 2002. Pp. xxiii + 352.Despite the central place of monasticism in the historical development of Chinese Buddhism, studies on (...) the topic, with some prominent exceptions, are not as developed as other aspects of Chinese Buddhist history. Rev. Yifa's excellent book on the Chinese Buddhist monastic codes, The Origins of Buddhist Monastic Codes in China: An Annotated Translation and Study of the Chanyuan Qinggui, goes a long way toward rectifying this situation. This book provides a wealth of information on the production of texts about monastic discipline and the institutional history of Chinese Buddhism, as well as a reliable translation of the Chanyuan qinggui (Rules of purity for Chan monasteries), compiled in 1103, the oldest comprehensive monastic code produced by the Chan school. As someone with a background in both the religious and academic worlds, Yifa (an abbess in the Foguang Shan order with a Ph.D. from Yale), brings to the subject a high level of scholarship and keen sensitivity to the intricacies of monastic life and institutions. As an end product of her comprehensive research into monastic literature and other pertinent sources, this book (based on her 1996 Ph.D. dissertation) makes an important contribution to Buddhist studies by helping to illuminate the institutional history of Chinese [End Page 499] Buddhism up to the Song period (960-1279), thereby reshaping our understanding of the evolution of monasticism in China and the place of the Chan school in that protracted process.The first part of the book is a historical overview of the development of monastic regulations during roughly the first millennium of Chinese Buddhist history. This provides a broad context for understanding the emergence, contents, and functions of Chan monastic codes such as the Chanyuan qinggui. The first half of chapter 1 surveys the history of Chinese engagements with the Vinaya (the canonical code of monastic discipline) and the growth of associated textual production, which included translations of and commentaries on the Vinayas of various schools of Indian Buddhism and the creation of related works by Chinese monks. The Chinese texts include monastic codes and instruction manuals created by noted monks such as Daoan (312-385), Huiyuan (334-416), and Zhiyi (538-597). Such texts were meant to supplement the Vinaya and provide sets of regulations and guidelines for a range of issues and procedures relevant to the pursuit of monastic life in medieval China.The second half of the chapter contextualizes the Chan school's involvement in the production of monastic legislation, first by commenting on the legend concerning Baizhang Huaihai's (749-814) creation of the first Chan monastic code (see below), which, according to tradition, signaled the Chan school's move toward institutional independence, and then by surveying the subsequent legacy and influence of the Chanyuan qinggui in China and Japan (but not Korea).The second chapter discuses major influences that shaped the monastic rules and practices codified in the Chanyuan qinggui. The first key area of influence was the Vinaya texts and traditions. The author shows how many of the rules included in the Chan code can be traced back to Indian precedents, especially Vinaya rules. Accordingly, the Chan regulations often represented the continuation of received traditions rather than original developments unique to the Chan school. The second key area was the influence of Chinese culture, which included the various strategies used by the imperial state to exert control over the monastic order, and a plethora of Chinese ritual practices and patterns of social interaction that the author lumps under the category of "Confucian ritual" (a broad characterization that perhaps should be reconsidered). This is arguably the most creative part of the book. Yifa's careful analysis does an excellent job of placing the emergence of Chan monastic codes in relation to the relevant religious and historical milieus. Doing this undermines normative/traditional views about Chan's uniqueness and independence, instead... (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Japanese Buddhism: A Cultural HistorySteven HeineJapanese Buddhism: A Cultural History. By Yoshiro Tamura. Tokyo: Kosei Publishing Co., 2000. Pp. 232. Paper $14.95.Japanese Buddhism: A Cultural History is a recent English translation of a work by Yoshiro Tamura originally published in Japan in the late 1960s. Tamura, who died in 1989, was one of the most prominent scholars of Japanese Buddhist studies of his era and was probably best (...) known for his major study of "New" Kamakura era Buddhist figures, including Shinran, Dōgen, and Nichiren. In that book Tamura executed a very sophisticated textual analysis of the often overt but sometimes subtle distinctions in doctrinal positions of the leading Kamakura Buddhist thinkers in their respective appropriations of Tendai original-enlightenment thought (hongaku shisō), which was a dominant ideology and a major influence on those who may have departed from or criticized its contents. Tamura's approach to Buddhist studies, with its emphasis on analyzing the textual tradition, has perhaps been superceded for many scholars by the approaches of such figures as Kuroda Toshio, Amino Yoshihiko, and Sasaki Kaoru, who have examined medieval Buddhism from a sociohistorical perspective. Also, some of Tamura's other writings may be questioned for espousing a standpoint that could be associated with nihonjinron (Japanese exceptionalism) theory by highlighting the distinctiveness of Buddhist practices in the context of the Japanese cultural tradition.A focus in this book on Japanese cultural uniqueness for understanding Buddhism in Japan seems indicated by the subtitle and by the back-cover copy, which refers to the way "Japan's Buddhism and the nation's cultural matrix are so inextricably linked that it is impossible to explicate the one without understanding the other." However, the work itself does not really delve into nihonjinron territory, but rather offers a conventional historical approach, with some exceptions, including chapter 4 on "The Japanese Response," which discusses Japanese poetic expressions of Buddhist doctrine.The contents of the book were originally published in a Kosei monthly magazine under the title "Hyakuman nin no Bukkyō-shi" (A history of Japanese Buddhism for a million readers) and then in book form by Kadokawa Shoten under the title Nihon Bukkyō-shi nyūmon (An introductory history of Japanese Buddhism). Since the original publication date was thirty-five years ago and the book does not represent cutting edge scholarship at this point, it can best be evaluated for its possible usefulness as a general survey in the classroom. The key question is whether this would make ideal required reading for an advanced undergraduate course on Japanese Buddhism.The book's main advantage is also its weakness, that is, the attempt to cover over fifteen hundred years and every major period in a little over two hundred pages. On the one hand, all of the major schools and thinkers are introduced, ranging from [End Page 125] pre-Nara trends through the formation of classical and medieval sects as well as early modern sociopolitical conditions to contemporary new religious movements. The book is a reliable reference guide that offers a snapshot of important events, leading figures, and doctrinal themes in a way that is evenhanded and objective, including the explanation of Nichirenist new movements such as Risshō Kosei-kai. For that reason it can be highly recommended.On a close reading, however, the deficiency of this approach becomes clear. For example, chapter 3 dealing with the development of early Buddhist temples in Japan tries to show a progression from Asuka-dera through Shitennō-ji and Hōryū-ji to Yakushi-ji, but the discussion in the narrative does not sufficiently flesh out what the diagram on page 41 is trying to illustrate about unfolding trends in iconography and scriptural exegetical studies.Also, the sections on such topics as Eizon and the revival of the Ritsu school during the Kamakura era and the role of the danka system in the Tokugawa era are a bit confusing and misleading in their brevity. Page 93 in chapter 8 on "The Founders of Kamakura Buddhism" refers to a "definite philosophical development" between the teachings of Hōnen, Nōnin, and Eisai, in the late twelfth century, and the thirteenth-century founders of... (shrink)